theorems in proofs